منابع مشابه
Radoslav Marinov
For some functions h (for example hz(w) = 1w≤z), the left-hand-side of (2) is a distance between a variable W and Z and we can bound that distance by taking advantage of the structures of h and W to bound the right-hand-side of (2). For example, by taking h such that the supremum of E[h(W )−Eh(Z)] yields the Wasserstein metric, and taking W = ∑ Xi/n for a sequence of independent mean-zero-varia...
متن کاملObservations of the Marinov Motor
It is verified that the Marinov motor works and that its torque magnitude roughly agrees with the theory given by Wesley (1). The existence of this device appears to refute the widely-held belief of physicists that the Lorentz force law suffices to describe all observable electromagnetic force manifestations.
متن کاملCredible Compilation by Darko Marinov
This thesis describes a theoretical framework for building compilers that generate formal guarantees that they work correctly. Traditional compilers provide no such guarantees-given an original source program, a traditional compiler generates only a transformed executable program. The only way to investigate the correctness of a compilation is to run the transformed program on some sample input...
متن کامل"Logic Wins!"
Clever algorithm design is sometimes superseded by simple encodings into logic. We apply this motto to a few case studies in the formal verification of security properties. In particular, we examine confidentiality objectives in hardware circuit descriptions written in VHDL.
متن کاملMarinov: Vocabulary Data-driven Learning in English
This paper introduces the idea of using data-driven vocabulary files as a teaching practice for the course “English for Tourism 3” taught at the Faculty of Economics, University of Split. First, the design of the vocabulary file is explained as well as the rationale behind the exercise. Then, the analysis of the students’ response to the assigned exercises is presented. Finally, given the compl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1985
ISSN: 0028-0836,1476-4687
DOI: 10.1038/316209a0